corollary of thales theorem